-- Andreas, 2017-08-23, issue #2708, name is optional
-- name: test-succeed

include:
  .
  ..
